Короткий зміст: Яка остаточна довідка чи довідкова реалізація для ISA на рівні користувача RISC-V? Контекст: На веб-сайті RISC-V є "Посібник з набору інструкцій RISC-V", який дуже добре пояснює інструкції на рівні користувача, але не дає точної специфікації для них. Зараз я намагаюся створити симулятор ISA на рівні користувача і маю намір написати реалізацію FPGA пізніше, тому точна поведінка для мене важлива. Достатньою буде посилальна реалізація, але бажано, щоб вона була якомога простішою - тобто я намагався б зрозуміти конвеєрну реалізацію лише як крайній засіб. Важливим є розуміння зазначеної ISA, а не єдиної реалізації процесора чи компілятора. Одним із прикладів, що показує мою проблему, є інструкція AUIPC: Пояснення прози говорить, що "AUIPC формує 32-бітове зміщення від 20-бітового U-негайного, заповнюючи найнижчі 12 бітів нулями, додає це зміщення до ПК, розміщує результат у реєстрі. " Я хотів би знати, чи стосується це старого чи нового ПК, тобто положення інструкції AUIPC або наступної інструкції. Я розглянув реалізацію "RISCV Angel", але, схоже, це маскує нижні біти (старого) ПК - не лише безпосереднього - що я не міг знайти жодної причини в специфікації, навіть у змінити історію специфікації (оскільки Ангел трохи старший). Замість відповіді, зараз у мене є два запитання щодо AUIPC. Багато інших інструкцій створюють подібні проблеми для мене.
2021-01-16 08:17:02
ЗМІСТИТИ Керівництво з набору інструкцій RISC-V, яке ви цитуєте, - це найближче до остаточного посилання. Якщо там є незрозумілі або неправильні речі, ви можете відкрити проблеми на сайті Github, де зберігається цей документ: https://github.com/riscv/riscv-isa-manual
Що стосується AIUPC, відповідь мається на увазі, але не чітко зазначена, цим реченням внизу сторінки 9 в поточному посібнику:
Існує ще один додатковий реєстр, видимий для користувача: на лічильнику програм є адреса поточної інструкції.
Виходячи з цього твердження, я би очікував, що значення pc, яке бачить і маніпулює інструкція AIUPC, є адресою самої інструкції AIUPC.
Це тлумачення підтверджується обговоренням інструкції JALR:
Інструкція непрямого переходу JALR (регістр переходу та посилання) використовує кодування I-типу. Цільова адреса отримується шляхом додавання 12-бітового підписаного I-neposred до реєстру rs1, а потім встановлення нуля найменшого знака результату. Адреса інструкції після стрибка (pc + 4) записана для реєстрації rd.
Враховуючи, що адреса наступної інструкції виражається як pc + 4, здається зрозумілим, що значення pc, видиме під час виконання JALR, є адресою самої інструкції JALR.
Останній проект посібника (за посиланням https://github.com/riscv/riscv-isa-manual/releases/download/draft-20190321-ba17106/riscv-spec.pdf) робить ситуацію дещо зрозумілішою. Замість цього в поточному посібнику:
AUIPC додає 12 нульових бітів нижчого порядку до 20-бітового U-негайного, розширює результат до 64 біт, потім додає його до ПК і поміщає результат у регістр rd.
в останньому проекті сказано:
AUIPC формує 32-бітове зміщення з 20-бітного U-негайного, заповнюючи нулі найменшими 12 бітами, додає це зміщення до ПК інструкції AUIPC, а потім поміщає результат у регістр rd.
|
Ваша відповідь
StackExchange.ifUsing ("редактор", function () {
StackExchange.using ("externalEditor", function () {
StackExchange.using ("фрагменти", function () {
StackExchange.snippets.init ();
});
});
}, "фрагменти коду");
StackExchange.ready (function () {
var channelOptions = {
теги: "" .split (""),
id: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("externalEditor", function () {
// Доводиться запускати редактор після фрагментів, якщо фрагменти увімкнено
якщо (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("фрагменти", function () {
createEditor ();
});
}
ще {
createEditor ();
}
});
функція createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: false,
heartbeatType: 'відповідь',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: правда,
showLowRepImageUploadWarning: true,
репутаціяToPostImages: 10,
bindNavPrevention: true,
постфікс: "",
imageUploader: {
brandingHtml: "Працює на \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" svg-icon \ "width = \" 50 \ "height = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46,2665 7,94324 47,1084 7.58816C47.4091 7,46349 47,7169 7,36433 48,0099 7.26993C48.9099 6,97997 49,672 6,73443 49,672 5.93063C49.672 5,22043 48,9832 4,61182 48,1414 4.61182C47.4335 4,61182 46,7256 4,91628 46,0943 5.50789C45.7307 4,9328 45,2525 4,66231 44,6595 4.66231C43.6264 4,66231 43,1481 5,28821 43,1481 6,59048V11,9512C43,1481 13,2535 43,6264 13,8962 44,6595 13,8962C45,6924 13,8962 46,1709 13,2535 46,1709 11,9512V9,17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 10,1419C4.492 14,114,09 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0458 11.59455C 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \" evenodd \ "even -dd \" clipod rule = \ "clipod rule = \" = \ "M25,6622 17,6335C27.8049 17,6335 29,3739 16,9402 30,2537 15,6379C30,8468 14,7755 30,9615 13,5579 30,9615 11,9512V6,59049C30,9615 5,28821 30,4833 4,66231 29,4502 4,66231C28,9978,55759495,55459495,55459495459495459495459495459495455 .1369 4.56087 21.0134 6.57349 21.0134 9.27932C21.0134 11.9852 23.003 13.913 25.3754 13.913C26.5612 13.913 27.4607 13.4902 28.1109 12.6616C28.1109 12.7229 28.1161 12.7799 28.121 12.8346C28.1256 12.885321 15.2321 24.1352 14.9821 23.5661 14.7787C23.176 14.6393 22.8472 14.5218 22.5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6335Z792424 7.79.924 724.792424 27.2119 7.09766 28.0918 7.94324 28.0918 9.27932C28.0918 10.6321 27.2311 11.511626.1024 11.5116C24.9737 11.5116 24.1317 10.6491 24.1317 9.27932Z \ "/ \ u003e \ u003cpath d = \" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.2285 11.662880 .0006. 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7. 9157 7,58817 6,91179 14,3365 15,4269 16,8045 6.91179C16.4027 6,91179 7,58817 16,8045 8.94108V11.9512Z \ "/ \ u003e \ u003cpath д = \" M3.31675 6.59049C3.31675 5,28821 2,83866 4,66232 1,82471 4.66232C0 .791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59049Z \ "/ u003e \ u003.812001. 1.98861C0 2,87869 0,822846 3,57676 1,87209 3,57676 3,7234 3.57676C2.90056 2,87869 3,7234 1.98861C3.7234 1,1159 2,90056 0,400291 1,87209 0.400291Z \ "заповнити = \" # 1BB76E \ "/ \ u003e \ u003c / s / u003e \ u003c / s ,
contentPolicyHtml: "Внески користувачів, ліцензовані під \ u003ca href =" https: //stackoverflow.com/help/licensing "\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href =" https://stackoverflow.com / юридична / контент-політика \ "\ u003e (зміст політики) \ u003c / а \ u003e",
allowUrls: true
},
onDemand: правда,
discardSelector: ".discard-answer"
, odmahShowMarkdownHelp: true, enableTables: true, enableSnippets: true
});
}
});
Дякуємо за надання відповіді на Stack Overflow!
Будь ласка, переконайтеся, що відповісти на це питання. Надайте деталі та поділіться своїми дослідженнями!
Але уникайте ...
Просити про допомогу, освітлення, або у відповідь на інші відповіді.
Складання заяв на основі думки; Підкріпіть їх посиланнями або особистим досвідом.
Щоб дізнатись більше, перегляньте наші поради щодо написання чудових відповідей.
Чернетку збережено
Чернетку відкинуто
Зареєструйтесь або увійдіть
StackExchange.ready (function () {
StackExchange.helpers.onClickDraftSave ('# login-link');
});
Зареєструйтесь за допомогою Google
Зареєструйтесь за допомогою Facebook
Зареєструйтесь за допомогою електронної пошти та пароля
уявити
Опублікувати в якості гостя
Ім'я
Електронна пошта
Обов’язково, але ніколи не показується
StackExchange.ready (
function () {
StackExchange.openid. , 'сторінка запитань');
}
);
Опублікувати в якості гостя
ім'я
E-mail
Обов’язково, але ніколи не показується
Опублікуйте свою відповідь
Викинути
Натискаючи «Опублікувати свою відповідь», ви погоджуєтесь з нашими умовами надання послуг, політикою конфіденційності та політикою файлів cookie
Не відповідь, яку ви шукаєте? Перегляньте інші запитання з позначкою riscv або задайте власне запитання.